An MDA Approach Towards Integrating Formal and Informal Modeling Languages
نویسندگان
چکیده
The Model Driven Architecture (MDA) involves automated transformations between software models defined in different languages at different abstraction levels. This paper takes an MDA approach to integrate a formal modeling language (Object-Z) with an informal modeling language (UML) via model transformation. This paper shows how formal and informal modeling languages can be cooperatively used in the MDA framework and how the transformations between models in these languages can be achieved using an MDA development environment. The MDA model transformation techniques allow us to have a reusable transformation between formal and informal modeling languages. The integrated approach provides an effective V&V technique for the MDA.
منابع مشابه
an Application of the Logit Model to the Analysis of Informal Sector Activities
This paper reports on the results of a research carried out during 1993-94 aiming at studying street sellers as an informal sector activity and a source of socio-economic problems in Shiraz, Iran. This study makes use of two Logit models in order to present a unified framework depiciting the factors that seem to affect the developmeht of informal sector activities. The first model looks at thos...
متن کاملAn Approach to Business Process Modeling Emphasizing the Early Design Phases
This paper proposes an approach to formal business process modeling emphasizing the early design phases. That means, the focus is on gathering requirements of a business process in an informal environment. First, methods to systematically elicit all requirements are discussed. Then, it is suggested to formally model and validate the elicited requirements before integrating them to a formal busi...
متن کاملIntegrating Informal and Formal Approaches to Requirements Modeling and Analysis
The Unified Modeling Language (UML) comprises several different notations for object-oriented modeling with no formal semantics attached to the individual diagrams. We have developed a generic framework for formalizing a subset of UML diagrams in terms of various formal languages, with a focus on embedded systems. We have formalized UML in terms of Promela, thus enabling analysis of the UML dia...
متن کاملTowards a Model-Centric Approach for Developing Enterprise Information Systems
This chapter aims to present a new modeling paradigm that promises to significantly increase the efficiency of developing enterprise information systems. Currently, the software industry faces considerable challenges as it tries to build larger, more complex, software systems with fewer resources. Although modern programming languages such as C++ and Java have in general improved the software d...
متن کاملTeachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کامل